Integer Overflow or Underflow (IOU)

Description:

IOU detects if the value of an operator is out of bounds for the type specified by the language semantics for the operator result. An error message is generated for such types as integer and int64.

Incorrect:

function ex(x,y:integer):integer;
begin
    result := 0;
    if (x < Low(integer) / 2) and (y > High(integer) / 2) then
        result := x * y;
end;